Nuprl Definition : grp_inv 13,42
~ == g.2.2.2.2.2 
latex

clarification:

~g == g.2.2.2.2.2 
latex

Upgrp sig object directory
Wellformedness Lemmasgrp inv wf
Definitionst.2

origin